Mirc1<tm4.1Aven> targeted mutation 4.1, Andrea Ventura MGI:5648475 http://identifiers.org/mgd/MGI:5648475 miR-17~92 delta17,18,92 Null/knockout